Implementing Broadcast Channels with Memory for Electronic Voting Systems

Considerations for Implementing Voting Systems with COTS Products

Verification Systems for Electronic Voting: A Survey

Voting is an important part of the democratic process. The electorate makes a decision or expresses an opinion that is accepted for everyone. Some parts could be interested in the election results deviation without anyone else noticing it. However, ensuring that the whole voting process is performed correctly and according to current rules and law is, then, even more important. We present in th...

Component Based Electronic Voting Systems

An electronic voting system may be said to be composed by a number of components, each of which has a number of properties. One of the most attractive effects of this way of thinking is that each component may have an attached in-depth threat analysis and verification strategy. Furthermore, the need to include the full system when making changes to a component is minimised and a model at this l...

Issues with Electronic Voting

This paper examines the various different types of electronic voting systems, and distinguishes between electronic machine voting and electronic distance voting. The prospects of electronic voting systems are unclear; this paper observes some of the risks and the costs that are associated with electronic voting systems. This paper discusses security requirements when using information communica...

Parallel Interconnection of Broadcast Systems with Multiple FIFO Channels

This paper proposes new protocols for the interconnection of FIFOand causal-ordered broadcast systems, thus increasing their scalability. They use several interconnection links between systems, which avoids bottleneck problems due to the network traffic, since messages are not forced to go throughout a single link but instead through the several links we establish. General architectures to inte...